1. A formalization of set theory without variables

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Set theory,، Logic, Symbolic and mathematical

Classification :
QA
248
.
T37
1987

3. A formalization of set theory without variables

Author:

Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

Subject: ، Set theory,، Logic, Symbolic and mathematical

Classification :
QA
248
.
T37
1987

4. A formalization of set theory without variables

Author:

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: SET THEORY , LOGIC,SYMBOLIC & MATHEMATICAL

Classification :
QA
248
.
T37

6. Alfred Tarski

Author:

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Tarski, Alfred, 1902-1983,ت‍ارس‍ک‍ی‌، آل‍ف‍رد، ۱۹۰۲ - ۱۹۸۳م.

Classification :
BC
135
.
P32A4
2012
E-Book
,

12. Alfred Tarski collected papers

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Collected works ، Mathematics

Classification :
QA
3
.
T37
1986

17. Alfred tarski :

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Classification :
P39
.
D638
2014

19. Cardinal algebras

Author:

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: ALGEBRA ABSTRACT

Classification :
QA
226
.
T3

20. Collected papers,Selections. 6891

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Mathematics

Classification :
QA
3
.
T372
1986